141. Theory of finite automata : with an introduction to formal languages
پدیدآورنده : / John Carroll, Darrell Long
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Sequential machine theory,Formal language
رده :
QA276
.
5
.
S4C35
1989
142. Theory of finite automata: with an Introduction to formal languages
پدیدآورنده : Joh, Carroll & Darrel, Long
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Sequential machine theory
143. Theory of finite automata : with an introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4C35
1989
144. Theory of finite automata : with and introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Sequential machine theory , Formal languages
رده :
QA
267
.
5
.
S4
C35
145. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
146. Theory of machines and computations; proceedings
پدیدآورنده : Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
147. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
148. Tree automata and languages
پدیدآورنده : edited by Maurice Nivat, Andreas Podelski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Trees )Graph theory(,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
T74
1992
149. Word processing in groups
پدیدآورنده : Epstein, David B. A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Group theory,، Formal languages
رده :
QA
267
.
5
.
S4E6
150. Introduction to languages and the theory of computation
پدیدآورنده : John C. Martin
موضوع : Sequential machine theory,Computable functions
۷ نسخه از این کتاب در ۶ کتابخانه موجود است.
151. state techniques :-Finite
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Sequential machine theory. ;
152. مقدمهای بر نظریه زبانها و محاسبات
پدیدآورنده : / [مولف جان سی. مارتین],عنوان به زبان اصلی: Introduction to languages and the theory of computation,4th ed, c2003 .
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ماشین حالتهای متناهی,Sequential machine theory,توابع محاسبهپذیر,Computable functions
رده :
QA
۲۶۷
/
۵
/
م
۲
م
۲ ۱۳۹۵